(0 17 13)(1 20 4)(2 8 6)(3 15 11)(5 16 14)(7 12 9)(10 19 18)
ALLOWS (11/8)-SEQUENCE
1: (11 12 15)
(0 17 13)(1 20 4)(2 8 6)(3 15 9 7 12)(5 16 14)(10 19 18)(11)
2: (3 7 12)
(0 17 13)(1 20 4)(2 8 6)(3)(5 16 14)(7 15 9)(10 19 18)(11)(12)
3: (2 8 6)
(0 17 13)(1 20 4)(2)(3)(5 16 14)(6)(7 15 9)(8)(10 19 18)(11)(12)
4: (7 15 9)
(0 17 13)(1 20 4)(2)(3)(5 16 14)(6)(7)(8)(9)(10 19 18)(11)(12)(15)